how to prove the least upper bound property